Nuprl Lemma : btrue_wf
13,42
postcript
pdf
tt
latex
Up
bool
1
,
bool
1
Definitions
tt
,
,
t
T
Lemmas
unit
wf
,
it
wf
origin
T